atom\_dset() $\in$ DSet\{1\}